Submission for IFLFlipping Fold, Reformulating Reduction An Exercise in Categorical Design Gershom Bazerman S&P/CapitalIQ

Source URL: gbaz.github.io

• Software engineering
• Computer programming
• Category theory
• Algebra
• Functional programming
• Higher-order functions
• Programming language comparisons
• Adjoint functors
• Monad
• Functor
• Fold
• Map

BLAST 2010 Katˇ etov order David Meza A survey on the Katˇetov order

Source URL: spot.colorado.edu

• Mathematics
• Set theory
• Order theory
• Ideal
• Prime ideal

Phase transitions in discrete structures Amin Coja-Oghlan (Goethe University) A wide variety of problems in combinatorics, computer science, information theory and mathematical physics can be described along the followin

Source URL: www.7ecm.de

• Constraint programming
• Statistical mechanics
• Gibbs measure
• Order and disorder

Relaxation and persistent oscillations of the order parameter in non-stationary BCS theory Emil Yuzbashyan Rutgers University Collaborators: Sasha Tsyplyatev (Lancaster University);

Source URL: mti.msd.anl.gov

Combining Existential Rules and Description Logics 1,2 Antoine Amarilli , Michael Benedikt 1: Télécom ParisTech; Institut Mines-Télécom; CNRS LTCI; Paris, France

Source URL: a3nm.net

• Logic
• Mathematical logic
• Mathematics
• Model theory
• First-order logic
• Predicate logic
• Universal quantification
• Quasigroup

Vaught’s Conjecture and Boolean Algebras Asher M. Kach (Joint with Steffen Lempp) Victoria University of Wellington and University of Connecticut BLAST 2010

Source URL: spot.colorado.edu

• Model theory
• Boolean algebra
• Forcing
• Logic
• Mathematics
• Abstraction
• Complete Boolean algebra
• Order theory
• Conjectures
• Stable theory

Research Statement Emanuele Frittaion 2016

Source URL: www.math.tohoku.ac.jp

• Mathematics
• Order theory
• Abstraction
• Structure
• Wellfoundedness
• Proof theory
• Computability theory
• Linear extension
• Reverse mathematics
• Well-quasi-ordering
• Antichain
• Countable set

Follower payoffs in symmetric duopoly games

Source URL: www.maths.lse.ac.uk

• Game theory
• Mathematics
• Order theory
• Competition
• Oligopoly
• Nash equilibrium
• Supermodular function
• Stackelberg competition
• Best response
• Symmetric game
• Metric
• Monotonic function

First-Order Mixed Integer Linear Programming Geoffrey J. Gordon Machine Learning Department Carnegie Mellon University Pittsburgh, PA 15213

Source URL: select.cs.cmu.edu

• Logic
• Mathematical logic
• Abstraction
• Automated theorem proving
• Model theory
• Predicate logic
• Semantics
• Boolean algebra
• Resolution
• Cutting-plane method
• First-order logic
• Propositional calculus

G¨odel’s functional interpretation and its use in current mathematics Ulrich Kohlenbach Fachbereich Mathematik Technische Universit¨ at Darmstadt

Source URL: www.mathematik.tu-darmstadt.de

• Proof theory
• Constructivism
• Intuitionism
• Metalogic
• Predicate logic
• Primitive recursive functional
• Realizability
• Substitution
• First-order logic
• Interpretation
• Propositional calculus
• Quantifier